#include <stdio.h>
#include "add.h"
int main(void)
{
int a = 10, b = 12;
printf("int a + b IS:%d\n", add_int(a, b));
return 0;
}
